decreasing distribution

递减广义函数